A Petri Net-Based Specification Model towards Verifiable Service Computing
نویسندگان
چکیده
The emerging paradigm of Web services opens a new way of engineering enterprise Web applications via rapidly developing and deploying Web applications, by composing independently published Web service components to conduct new business transactions. However, how to formally validate and reason about the properties of an enterprise system composed of Web service components remains a challenge. This chapter introduces an advanced topic of enterprise service computing – formal verification and validation of enterprise Web services. The authors introduce a Web Services Net (WS-Net), which is an executable architectural description language incorporating the semantics of Colored Petri Nets with the style and understandability of the Object-Oriented concept and Web services concept. As an architectural model that formalizes the architectural topology and behaviors of each Web service component as well as the entire system, WS-Net facilitates the simulation, verification, and automated composition of Web services. The layout of the chapter is as follows:
منابع مشابه
A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملDeterministic Measurement of Reliability and Performance Using Explicit Colored Petri Net in Business Process Execution Language and Eflow
Today there are many techniques for web service compositions. Evaluation of quality parameters has great impact on evaluation of final product. BPEL is one of those techniques that several researches have been done on its evaluation. However, there are few researches on evaluation of QoS in eflow. This research tries to evaluate performance and reliability of eflow and BPEL through mapping them...
متن کاملFormal approach on modeling and predicting of software system security: Stochastic petri net
To evaluate and predict component-based software security, a two-dimensional model of software security is proposed by Stochastic Petri Net in this paper. In this approach, the software security is modeled by graphical presentation ability of Petri nets, and the quantitative prediction is provided by the evaluation capability of Stochastic Petri Net and the computing power of Markov chain. Each...
متن کاملThree-Level Process Specification for Dynamic Service Outsourcing: From Petri Nets to ebXML and WFPDL
Service outsourcing is the business paradigm, in which an organization has part of its business process performed by a service provider. In dynamic markets, service providers are selected on the fly during process enactment. The cooperation between the parties is specified in a dynamically made electronic contract. This contract includes a process specification that is tailored towards service ...
متن کاملProtocol Synthesis from Time Petri Net Based Service Specification
Some methods for deriving protocol speci cations from given service speci cations with time constraints have been proposed. However, existing methods cannot treat the class of service speci cations with both parallel synchronization and data values. They also assume that all clocks in the distributed system are synchronized. In this paper, we propose an algorithm to derive a correct protocol sp...
متن کامل